home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part2 / 18073 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  3.3 KB
  1. Path: newshost.an-teallach.com!cch
  2. From: cch@an-teallach.com (Conrad Chin)
  3. Newsgroups: comp.lang.smalltalk,comp.object,comp.lang.c++,comp.lang.java
  4. Subject: Re: The Good, the Bad, the Ugly, and the Wicked ...
  5. Date: 16 Apr 1996 10:05:04 GMT
  6. Organization: An Teallach Ltd    
  7. Distribution: world
  8. Message-ID: <CCH.96Apr16110504@suilven.an-teallach.com>
  9. References: <31570B8E.5A12@vmark.com> <4je5rq$7qg@mimas.brunel.ac.uk>
  10.     <4jes0t$gth@decaxp.HARVARD.EDU> <31630E30.5A02@oma.com>
  11.     <4kbq3q$1i8@gaia.ns.utk.edu> <JSA.96Apr9131057@organon.com>
  12.     <RMARTIN.96Apr10133335@rcm.oma.com> <JSA.96Apr11153135@organon.com>
  13.     <4klt0j$i0m@sunsystem5.informatik.tu-muenchen.de>
  14. NNTP-Posting-Host: suilven.an-teallach.com
  15. In-reply-to: schuenem@informatik.tu-muenchen.de's message of 12 Apr 1996 15:31:31 GMT
  16.  
  17.  
  18. In article <4klt0j$i0m@sunsystem5.informatik.tu-muenchen.de> schuenem@informatik.tu-muenchen.de (Ulf Schuenemann) writes:
  19.  
  20. > From: schuenem@informatik.tu-muenchen.de (Ulf Schuenemann)
  21. > Newsgroups: comp.lang.smalltalk,comp.object,comp.lang.c++,comp.lang.java
  22. > Date: 12 Apr 1996 15:31:31 GMT
  23. > Organization: Technische Universitaet Muenchen, Germany
  24. > 
  25. > [**] This is intended to be an information post.
  26. > 
  27. > To the discussion Smalltalk vs C++ let me focus on the point
  28. > of two classes of errors that may occure:
  29. > 
  30. > a) access to illegal memory    (here: released memory)
  31. > b) calling illegal methods
  32. > 
  33. > A language has three main choices what to do:
  34. > #1 prohibit such errors
  35. > #2 catch such errors and report them (some kind of exception mechanism)
  36. > #3 don't bother - ie undefined behavior
  37. > I count the catching of illegal memory access by the operating system
  38. > (which, in unix, results in core dump) as #3.
  39. > 
  40. > Means to achieve this:
  41. >         a) access to illegal memory    b) calling illegal methods
  42. > --------------------------------------------------------------------------
  43. > #1 prohibit:    GC-systems            static typecheck
  44. > #2 catch:    bounds-checkers            "Message not understood"
  45. > #3 don't:    -                -
  46. > 
  47.  
  48. [classification of Smalltalk and C++ deleted]
  49.  
  50. I think we can add something for static type systems: they catch more
  51. than just "illegal" message sends -- they also catch "inappropriate"
  52. message sends. 
  53.  
  54. By "inappropriate" I mean a message send using the wrong selector or
  55. the wrong object, but where the object just happens to implement
  56. the message.
  57.  
  58. Some people have expressed that the lack of static typing is not a
  59. major problem because type errors soon become evident at testing time.
  60. However, "inappropriate" message sends as I've described do not
  61. necessarily manifest as RT errors.  Therefore they appear to be far
  62. more insidious, having the potential to lurk unnoticed in code for a
  63. long time.
  64.  
  65. I have used Smalltalk for implementing programs consisting mainly of
  66. user interface code (a task for which I find it very well suited).  In
  67. this scenario the lack of static typing doesn't seem to be a problem
  68. because errors are usually visually evident very quickly, even if they
  69. don't produce RT errors.
  70.  
  71. However, I'm more skeptical as to whether I would want to implement
  72. more abstract code in Smalltalk (eg, a compiler or a simulation
  73. system), where it seems that the potential for hidden errors is much
  74. larger. 
  75.  
  76. Comments, anyone ?
  77.  
  78. Conrad Chin
  79. --
  80. Conrad Chin (cch@an-teallach.com)        Tel: +44 131 662 0366
  81. An Teallach Limited                     +44 131 668 1550 x211
  82.